Cosheaves and connectedness in formal topology
نویسندگان
چکیده
منابع مشابه
Cosheaves and connectedness in formal topology
The localic definitions of cosheaves and connectedness are transferred from impredicative topos theory to predicative formal topology. A formal topology is locally connected (has base of connected opens) iff it has a cosheaf π0 together with certain additional structure and properties that constrain π0 to be the connected components cosheaf. In the inductively generated case, complete spreads (...
متن کاملCosheaves and connectedness in formal topology (to appear in Annals of Pure and Applied Logic)
The localic definitions of cosheaves, connectedness and local connectedness are transferred from impredicative topos theory to predicative formal topology. A formal topology is locally connected (has base of connected opens) iff it has a cosheaf π0 together with certain additional structure and properties that constrain π0 to be the connected components cosheaf. In the inductively generated cas...
متن کاملConnectedness in fuzzy topology
With the emergence of the fundamental paper [5] by Zadeh in 1965 number of papers have appeared in literature featuring the application of fuzzy sets to pattern recognition, decision problems, function approximation, system theory, fuzzy logic, fuzzy algorithms, fuzzy automata, fuzzy grammars, fuzzy languages, fuzzy algebras, fuzzy topology, etc. [2], [7]. In this note, our interests are in the...
متن کاملTopology, connectedness, and modal logic
This paper presents a survey of topological spatial logics, taking as its point of departure the interpretation of the modal logic S4 due to McKinsey and Tarski. We consider the effect of extending this logic with the means to represent topological connectedness, focusing principally on the issue of computational complexity. In particular, we draw attention to the special problems which arise w...
متن کاملComputing Connectedness: an exercise in computational topology
We reformulate the notion of connectedness for compact metric spaces in a manner that may be implemented computationally. In particular, our techniques can distinguish between sets that are connected; have a nite number of connected components; have in nitely many connected components; or are totally disconnected. We hope that this approach will prove useful for studying structures in the phase...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2012
ISSN: 0168-0072
DOI: 10.1016/j.apal.2011.06.024